Section: New Software and Platforms

T-calculus

Sketched in [9] , the T-calculus is a Domain Specific Language (See  [40] for an early note by Hudak about the notion of Domain Specific Language, and see  [39] , [42] for application of this notion is computer music.) to provide simple and robust high-level description mechanisms of reactive systems. It will offer a programmatic view of the tile modeling paradigm [3] , [8] . Its definition has been refined a number of times (see e.g. [9] , [7] and [30] , [18] ). A prototype implementation of its reactive kernel has eventually been achieved in Haskell on top of the Euterpea libraries by the end of 2015. Its consolidation and further developments are now scheduled for 2016, especially within the ADT project “Tuilage”. Graphical representation of tiles should give rise to a robust correspondance between programmatic and graphical representations of reactive systems.